Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
61	Model structures and their applications GRK 1150 PhD-seminar In the past the language of model categories has been an enormously helpful tool to describe phenomena in homotopy theory, and in this seminar we would like to Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2005-11-23 11:13:14 Abstract algebra Algebra Homotopy theory Mathematics Model category Cohomology Douglas Ravenel Highly structured ring spectrum Bousfield localization Rational homotopy theory Homotopy category Derived category
62	Bed-Tree: An All-Purpose Index Structure for String Similarity Search Based on Edit Distance Zhenjie Zhang1 1 Add to Reading List Source URL: event.cwi.nl Language: English - Date: 2010-08-10 12:02:00 Computing Formal languages Linguistics Mathematics Pattern matching Character encoding String Comparison of programming languages Hamming distance Edit distance N-gram Java Persistence Query Language
63	http://www.uncwil.edu/people/kozloffm/baloney.html If It Quacks Like a Duck, It’s Probably Baloney Martin A. Kozloff, Ph.D. Watson School of Education Add to Reading List Source URL: www.illinoisloop.org Language: English - Date: 2011-07-07 13:41:29 Education Education reform Educational psychology Teaching Standards-based education Educators Mathematics education Teacher Curriculum Developmentally appropriate practice Music education Whole language
64	Simulation-Based Approach to General Game Playing Hilmar Finnsson and Yngvi Bj¨ornsson School of Computer Science Reykjav´ık University, Iceland {hif,yngvi}@ru.is Add to Reading List Source URL: ggp.stanford.edu Language: English - Date: 2009-04-17 14:29:40 Game artificial intelligence Gaming Mathematics Leisure Monte Carlo tree search General game playing Computer Go Simulation Game Description Language Artificial intelligence A* search algorithm Search algorithm
65	Parse Trees • If w ∈ L(G), for some CFG, then w has a parse tree, which tells us the (syntactic) structure of w • w could be a program, a SQL-query, an XMLdocument, etc. • Parse trees are an alternative represent Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:32:46 Formal languages Language Cognitive science Mathematics Parse tree Parsing Formal grammar Equivalence Context-free language LR parser Context-free grammar
66	Alexey Gvishiani Education: Moscow State University, Faculty of Mathematics and Mechanics, 1971. Language skills: English, French. Titles: Add to Reading List Source URL: www.gcras.ru Language: English - Date: 2016-02-25 09:24:25 International Council for Science Russian Academy of Sciences Academia Science and technology Vladimir Keilis-Borok Science Dmitry V. Bisikalo
67	Unleashing the Verification Genie in the Cloud Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA Abstract Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-01 03:01:08 Mathematics Theoretical computer science Mathematical logic Predicate logic Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Z3 First-order logic Language Integrated Query Computer program
68	Fluxplayer: A Successful General Game Player Stephan Schiffel and Michael Thielscher Department of Computer Science Dresden University of Technology {stephan.schiffel,mit}@inf.tu-dresden.de Add to Reading List Source URL: ggp.stanford.edu Language: English - Date: 2009-04-21 15:13:54 Game artificial intelligence Mathematics Gaming Mathematical logic Eval Mathematical optimization Game Description Language Function FO Computer chess
69	Metropolitan Mathematics Club of Chicago 2015–2016 Program September 11, 2015—Nora Ramirez Supporting English Language Learners Add to Reading List Source URL: www.mmcchicago.org Language: English - Date: 2016-01-31 23:16:40 Mathematics education Education reform National Council of Teachers of Mathematics
70	Proof assistants in computer science research Xavier Leroy Inria Paris-Rocquencourt Semantics of proofs and certified mathematics, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2015-09-15 04:31:52 Programming language theory Formal methods POPLmark challenge Mathematical proof Programming language semantics Logic in computer science Proof theory

UPDATE